Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸŒฒDeforestation
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ›๏ธElm Architecture
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐Ÿ”„Incremental Lexing
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ“Text Algorithms
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.comยท2hยท
Discuss: r/cpp
๐ŸงฎCombinator Calculus
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.comยท3hยท
Discuss: r/reactjs
๐Ÿ“šStack Languages
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
Sorting encrypted data without decryption: a practical trick
github.comยท3hยท
Discuss: DEV
๐Ÿ”—Hash Functions
LangChain.js is overrated; Build your AI agent with a simple fetch call
blog.logrocket.comยท1d
๐Ÿš‚Cranelift Backend
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.orgยท1d
๐Ÿ”—Category Theory